退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于密码学习者协议的认知模型检查的抽象⋆
Omar I. Al-bataineh; Ron Van Der Meyden;
机译:通过二维抽象在模型检查参数化缓存一致性协议中减少状态空间
机译:比较基于BDD和SAT的技术来检查Chaum的餐饮密码学家协议的模型
机译:SystemC中建模的硬件/软件协同设计的自动分析和抽象
机译:基于用餐加密器的认知模型检查的抽象
机译:模型检查顺序一致性和参数化协议。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:基于密码学习者的认知模型检验的抽象 协议
机译:基于认知模型检验的安全协议验证与优化
机译:通过集成用户引导的抽象,可扩展模型检查功能验证
机译:模型检查的数据结构抽象
机译:用于模型检查的数据结构抽象
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。